Rounds versus Time for the Two Person Pebble Game (Extended Abstract)

نویسندگان

  • Bala Kalyanasundaram
  • Georg Schnitger
چکیده

We show the following results for rounds/time tradeoffs in the two person pebble game. 1. For every R and n (R =O (n /logn )), there is a bounded degree graph of n vertices for which the Pebbler can win in R rounds only in time Ω(n /logR ). 2. There is a graph that exhibits almost tight round/time tradeoffs for all rounds. 3. There is no graph with tight round/time tradeoffs for all rounds. As a consequence, we improve the simulation of bounded fan-in circuits by unbounded fan-in circuits, extending the size/depth tradeoff of Paterson and Valiant. Below is the list of symbols used in the paper, other than Latin characters and Arabic numerals. Lower case roman l is not used. Similarly, upper case roman O is not used (while italic O is). lower case Greek letters α, ε, θ upper case Greek letter Ω mathematical symbols ( ) { } < > ≤ ≥ = + ⊆ | ∈ summation symbol Σ end of proof `

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Separators, Segregators and Time versus Space

We give the first extension of the result due to Paul, Pippenger, Szemeredi and Trotter [24] that deterministic linear time is distinct from nondeterministic linear time. We show that NTIME(n √ log∗(n)) 6= DTIME(n √ log∗(n)). We show that if the class of multi-pushdown graphs has (o(n), o(n/log(n))) segregators, then NTIME(nlog(n)) 6= DTIME(nlog(n)). We also show that atleast one of the followi...

متن کامل

Circuits, Pebbling and Expressibility

We give characterizations of nondeterministic complexity classes such as NP and PSPACE and the classes in the polynomial time hierarchy in the two-person pebble game model [VT89]. These characterizations motivate the definitions of these classes using firstorder sentences extending the results in [Im82]. It is shown that the role-switches resource in the pebble games closely model the levels of...

متن کامل

Vehicle Routing Problem in Competitive Environment: Two-Person Nonzero Sum Game Approach

Vehicle routing problem is one of the most important issues in transportation. Among VRP problems, the competitive VRP is more important because there is a tough competition between distributors and retailers. In this study we introduced new method for VRP in competitive environment. In these methods Two-Person Nonzero Sum games are defined to choose equilibrium solution. Therefore, revenue giv...

متن کامل

An analysis of Bennett's pebble game

Bennett's pebble game 1, 2] was introduced to obtain better time/space tradeoos in the simulation of standard Turing machines by reversible ones. So far only upper bounds for the tradeoo based on the pebble game have been published. Here we give a recursion for the time optimal solution of the pebble game given a space bound. We analyze the recursion to obtain an explicit asymptotic expression ...

متن کامل

Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems

We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-consistency, (j, k)-consistency, k-consistency, k-minimality, and refinements of arc-consistency such as peek arc-consistency and singleton arc-consistency. Our main result is that for any two instances of the abstract pebble ga...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1989